symbolic logic

noun

1. a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.

symbolic logic

noun

1. another term for formal logic

Word History and Origins

Origin of symbolic logic¹

First recorded in 1880–85

Example Sentences

The most remarkable result of modern methods in mathematics is the importance of symbolic logic and of rigid formalism.

From Project Gutenberg

Symbolic logic has to do with the world of discourse, not with the world of things.

From Project Gutenberg

As Charles L. Dodgson, a mathematician famous for his work in symbolic logic.

From Project Gutenberg

Gerd was at the desk, spoiling notepaper in an effort to work something out by symbolic logic.

From Project Gutenberg

It means that the computers cannot give accurate answers according to the symbolic logic tables unless they get full information.

From Project Gutenberg